#include <stdio.h>
#include <iostream>
#include "prelude.h"
#include "ejemplo1.phs.h"
using namespace std;    

int main(int argc, char **argv)
{
	cout << mainfunction::evaluate  << endl;
	return 0;
}
